Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos
1
Language, Proof and Logic

Language, Proof and Logic

Año:
2011
Idioma:
english
Archivo:
PDF, 2.19 MB
5.0 / 5.0
english, 2011
2
Selected papers on computer science

Selected papers on computer science

Año:
1999
Idioma:
english
Archivo:
DJVU, 3.13 MB
0 / 0
english, 1999
3
Syntactic theory: a formal introduction

Syntactic theory: a formal introduction

Año:
1999
Idioma:
english
Archivo:
PDF, 2.25 MB
5.0 / 0
english, 1999
4
Companion to the Papers of Donald Knuth

Companion to the Papers of Donald Knuth

Año:
2012
Idioma:
english
Archivo:
DJVU, 4.00 MB
0 / 0
english, 2012
5
Selected papers on discrete mathematics

Selected papers on discrete mathematics

Año:
2001
Idioma:
english
Archivo:
DJVU, 5.22 MB
0 / 0
english, 2001
6
Lexical Functional Grammar

Lexical Functional Grammar

Año:
2001
Idioma:
english
Archivo:
PDF, 1.75 MB
5.0 / 0
english, 2001
7
A Natural History of Negation

A Natural History of Negation

Año:
2001
Idioma:
english
Archivo:
PDF, 38.29 MB
5.0 / 5.0
english, 2001
8
Selected papers on fun & games

Selected papers on fun & games

Año:
2011
Idioma:
english
Archivo:
PDF, 20.79 MB
0 / 0
english, 2011
9
Tarski's World: Revised and Expanded

Tarski's World: Revised and Expanded

Año:
2007
Idioma:
english
Archivo:
PDF, 1.37 MB
0 / 0
english, 2007
10
English syntax : an introduction

English syntax : an introduction

Año:
2007
Idioma:
english
Archivo:
PDF, 819 KB
5.0 / 0
english, 2007
11
Modal Logic for Open Minds

Modal Logic for Open Minds

Año:
2000
Idioma:
english
Archivo:
PDF, 2.13 MB
0 / 0
english, 2000
12
Literate Programming

Literate Programming

Año:
1992
Idioma:
english
Archivo:
DJVU, 2.74 MB
5.0 / 4.5
english, 1992
13
Modal Logic for Open Minds

Modal Logic for Open Minds

Año:
2000
Idioma:
english
Archivo:
DJVU, 2.75 MB
5.0 / 5.0
english, 2000
14
Phrase Structure and Grammatical Relations in Tagalog

Phrase Structure and Grammatical Relations in Tagalog

Año:
1992
Idioma:
english
Archivo:
PDF, 7.67 MB
5.0 / 0
english, 1992
15
Selected Papers on Computer Languages

Selected Papers on Computer Languages

Año:
2002
Idioma:
english
Archivo:
DJVU, 4.58 MB
0 / 0
english, 2002
16
The situation in logic

The situation in logic

Año:
1989
Idioma:
english
Archivo:
DJVU, 4.39 MB
5.0 / 0
english, 1989
17
Language, Proof and Logic

Language, Proof and Logic

Año:
2002
Idioma:
english
Archivo:
PDF, 3.10 MB
0 / 0
english, 2002
19
Selected Papers on Design of Algorithms (for Algorithmix)

Selected Papers on Design of Algorithms (for Algorithmix)

Año:
2010
Idioma:
english
Archivo:
DJVU, 8.18 MB
0 / 0
english, 2010
20
Representation and Invariance of Scientific Structures

Representation and Invariance of Scientific Structures

Año:
2001
Idioma:
english
Archivo:
PDF, 7.69 MB
0 / 0
english, 2001
21
Introduction to natural language semantics

Introduction to natural language semantics

Año:
1998
Idioma:
english
Archivo:
DJVU, 1.84 MB
0 / 0
english, 1998
22
Digital Typography (CSLI Lecture Notes Number 78)

Digital Typography (CSLI Lecture Notes Number 78)

Año:
2016
Idioma:
english
Archivo:
PDF, 85.36 MB
5.0 / 0
english, 2016
23
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena

Año:
1996
Idioma:
english
Archivo:
PDF, 15.43 MB
0 / 0
english, 1996
24
Language, Proof and Logic [CD-ROM]

Language, Proof and Logic [CD-ROM]

Año:
2002
Idioma:
english
Archivo:
RAR, 46.74 MB
0 / 0
english, 2002
25
Necessity or Contingency: The Master Argument

Necessity or Contingency: The Master Argument

Año:
1996
Idioma:
english
Archivo:
PDF, 14.94 MB
5.0 / 5.0
english, 1996
26
Beyond grammar: an experience-based theory of language

Beyond grammar: an experience-based theory of language

Año:
1998
Idioma:
english
Archivo:
PDF, 6.38 MB
0 / 0
english, 1998
27
Syntactic theory: a formal introduction

Syntactic theory: a formal introduction

Año:
2003
Idioma:
english
Archivo:
DJVU, 4.01 MB
0 / 0
english, 2003
28
Selected Papers on Computer Languages

Selected Papers on Computer Languages

Año:
2002
Idioma:
english
Archivo:
DJVU, 4.98 MB
0 / 0
english, 2002
29
Non-Well-Founded Sets

Non-Well-Founded Sets

Año:
1988
Idioma:
english
Archivo:
PDF, 4.46 MB
0 / 0
english, 1988
30
A Manual of Intensional Logic

A Manual of Intensional Logic

Año:
1988
Idioma:
english
Archivo:
PDF, 37.48 MB
5.0 / 0
english, 1988
31
Hyperproof

Hyperproof

Año:
1994
Idioma:
english
Archivo:
PDF, 11.94 MB
0 / 0
english, 1994
32
A Constructional Approach to Resultatives

A Constructional Approach to Resultatives

Año:
2003
Idioma:
english
Archivo:
PDF, 26.07 MB
0 / 0
english, 2003
33
The Linguistics of Punctuation

The Linguistics of Punctuation

Año:
1990
Idioma:
english
Archivo:
DJVU, 13.05 MB
0 / 0
english, 1990
34
Logics of Time and Computation

Logics of Time and Computation

Año:
1992
Idioma:
english
Archivo:
PDF, 5.61 MB
0 / 0
english, 1992
35
Literature and Cognition

Literature and Cognition

Año:
1990
Idioma:
english
Archivo:
PDF, 9.06 MB
0 / 0
english, 1990
36
Formal Issues in Lexical-Functional Grammar

Formal Issues in Lexical-Functional Grammar

Año:
1994
Idioma:
english
Archivo:
PDF, 7.05 MB
5.0 / 0
english, 1994
38
Defending AI Research: A Collection of Essays and Reviews

Defending AI Research: A Collection of Essays and Reviews

Año:
1996
Idioma:
english
Archivo:
PDF, 5.40 MB
0 / 0
english, 1996
39
Dynamics of Reason

Dynamics of Reason

Año:
2001
Idioma:
english
Archivo:
DJVU, 1.34 MB
5.0 / 5.0
english, 2001
40
Mathematics of modality

Mathematics of modality

Año:
1993
Idioma:
english
Archivo:
PDF, 11.27 MB
0 / 0
english, 1993
41
Lexical Matters

Lexical Matters

Año:
1992
Idioma:
english
Archivo:
PDF, 8.39 MB
5.0 / 0
english, 1992
42
The grammar of negation: A constraint-based approach [PhD Thesis]

The grammar of negation: A constraint-based approach [PhD Thesis]

Año:
2000
Idioma:
english
Archivo:
DJVU, 2.17 MB
5.0 / 5.0
english, 2000
43
Mathematical Reasoning with Diagrams

Mathematical Reasoning with Diagrams

Año:
2001
Idioma:
english
Archivo:
PDF, 1.55 MB
0 / 0
english, 2001
44
Ambiguity Resolution in Language Learning: Computational and Cognitive Models

Ambiguity Resolution in Language Learning: Computational and Cognitive Models

Año:
1997
Idioma:
english
Archivo:
PDF, 11.07 MB
0 / 0
english, 1997
45
Unsettling Obligations: Essays on Reason, Reality and the Ethics of Belief

Unsettling Obligations: Essays on Reason, Reality and the Ethics of Belief

Año:
2002
Idioma:
english
Archivo:
PDF, 38.71 MB
0 / 0
english, 2002
46
LANGUAGE, PROOF AND LOGIC 2nd Edition

LANGUAGE, PROOF AND LOGIC 2nd Edition

Año:
2011
Idioma:
english
Archivo:
PDF, 2.22 MB
0 / 5.0
english, 2011
47
Bantu Historical Linguistics: Theoretical and Empirical Perspectives

Bantu Historical Linguistics: Theoretical and Empirical Perspectives

Año:
1999
Idioma:
english
Archivo:
PDF, 34.88 MB
0 / 0
english, 1999
48
Online Deliberation: Design, Research, and Practice

Online Deliberation: Design, Research, and Practice

Año:
2009
Idioma:
english
Archivo:
PDF, 12.66 MB
0 / 0
english, 2009
49
Representation and Invariance of Scientific Structures

Representation and Invariance of Scientific Structures

Año:
2002
Idioma:
english
Archivo:
PDF, 7.55 MB
0 / 0
english, 2002
50
Formal Issues in Lexical-Functional Grammar

Formal Issues in Lexical-Functional Grammar

Año:
1994
Idioma:
english
Archivo:
PDF, 7.79 MB
5.0 / 0
english, 1994